an ordered pair - German English Dictionary